int cos(x)^(3/2) dx